]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d870f6) | patch
theme: Add bottom padding for sub menus
authorAlex Monday <monday15@gmx.com>
Sat, 23 Feb 2019 22:46:03 +0000 (03:46 +0500)
committerJakub Steiner <jimmac@gmail.com>
Mon, 25 Feb 2019 10:35:13 +0000 (11:35 +0100)
commit779b5afa5124ae106552bbe1be73480979bd2931
treee06bac7b168dab3405b840ff3df2417bd58bf01btree | snapshot
parent6d870f6ae4c85b6aea969a121556e23105e0a05ecommit | diff
theme: Add bottom padding for sub menus

Prevents overlapping sub menu borders with menu item background.

Closes https://gitlab.gnome.org/GNOME/gnome-shell/issues/987
data/theme/gnome-shell-sass/_common.scss diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.